DUGi: Llistar Títols | dc.subject:"Logic, Symbolic and mathematical"

Llistar Títols

S'han trobat 34 ítems

Llistant ítems des de 0 a 25:

1 2

Format	Data	Títol	Autor
Format	Data	Títol	Autor
		Anti-Uniﬁcation for Unranked Terms and Hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		Anti-Uniﬁcation for Unranked Terms and Hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		Anti-unification for unranked terms and hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	1 juny 2018	Anti-unification for unranked terms and hedges
	5 juny 2018	Anti-unification for unranked terms and hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	2011	Anti-Uniﬁcation for Unranked Terms and Hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	febrer 2014	Anti-unification for unranked terms and hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
	1 juny 2016	Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
	10 novembre 1958	Carta de 1958-11-10 a José Ferrater Mora des de Potenza (Itàlia)	Pisani, Nicolás
		Correcció d’exercicis de lògica per l’ACME	Torm Bossa, Gemma
	maig 2012	Correcció d’exercicis de lògica per l’ACME	Torm Bossa, Gemma
	juny 2022	Creació i avaluació d’un material lògic estructuratn per a les matemàtiques del segon cicle d’educació infantil	Portas Tribulietx, Ona
	2010	An Efficient Nominal Unification Algorithm	Levy, Jordi ; Villaret i Ausellé, Mateu
		An Efficient Nominal Unification Algorithm	Levy, Jordi ; Villaret i Ausellé, Mateu
		An Efficient Nominal Unification Algorithm	Levy, Jordi ; Villaret i Ausellé, Mateu
	1 juny 2018	An Efficient Nominal Unification Algorithm
	5 juny 2018	An Efficient Nominal Unification Algorithm	Levy, Jordi ; Villaret i Ausellé, Mateu
	1 juny 2018	Higher-Order Pattern Anti-Unification in Linear Time
	5 juny 2018	Higher-Order Pattern Anti-Unification in Linear Time	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	1 febrer 2017	Higher-Order Pattern Anti-Unification in Linear Time	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	12 novembre 2015	Lògica borrosa i lògica	Esteva Massaguer, Francesc ; Godo i Lacasa, Lluís
	8 octubre 2010	Sessions per a mestres sobre l’ensenyament de les correspondències matemàtiques de qualitat i quantitat [8-10-2010]	Canals, Maria Antònia
	8 octubre 2010	Sessions per a mestres sobre l’ensenyament de les correspondències matemàtiques de qualitat i quantitat [8-10-2010]	Canals, Maria Antònia
	2009	SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu

1 2

DUGi

Portal de cerca conjunta als documents digitals de la UdG

Llistar Títols

Matèries

Autors